大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

European Robotics Symposium 2006 [electronic resource]

0
索取号:
作者:Christensen、 Henrik I.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Quantum Mechanics at the Crossroads [electronic resource] : New Perspectives from History, Philosophy and Physics

0
索取号:
作者:Evans、 James.、Thorndike、 Alan S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

0
索取号:
作者:Hill、 Patricia M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Simulation Studies in Condensed-Matter Physics XVIII [electronic resource] : Proceedings of the Eighteenth Workshop Athens, GA, USA, March 7鈥ᱬ 2005

0
索取号:
作者:Landau、 David P.、Lewis、 Steven P.、Sch眉ttler、 Heinz-Bernd.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Gesture in Human-Computer Interaction and Simulation [electronic resource] : 6th International Gesture Workshop, GW 2005, Berder Island, France, May 18-20, 2005, Revised Selected Papers

0
索取号:
作者:Gibet、 Sylvie.、Courty、 Nicolas.、Kamp、 Jean-Fran莽ois.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

0
索取号:
作者:Ur、 Shmuel.、Bin、 Eyal.、Wolfsthal、 Yaron.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Towards a New Evolutionary Computation [electronic resource] : Advances in the Estimation of Distribution Algorithms

0
索取号:
作者:Lozano、 Jose A.、Larra帽aga、 Pedro.、Inza、 I帽aki.、Bengoetxea、 Endika.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Unifying the Software Process Spectrum [electronic resource] : International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers

0
索取号:
作者:Li、 Mingshu.、Boehm、 Barry.、Osterweil、 Leon J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision-ACCV 2006 [electronic resource] : 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part I

0
索取号:
作者:Narayanan、 P. J.、Nayar、 Shree K.、Shum、 Heung-Yeung.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision-ACCV 2006 [electronic resource] : 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006. Proceedings, Part II

0
索取号:
作者:Narayanan、 P. J.、Nayar、 Shree K.、Shum、 Heung-Yeung.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algorithms and Computation [electronic resource] : 16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19-21, 2005. Proceedings

0
索取号:
作者:Deng、 Xiaotie.、Du、 Ding-Zhu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

0
索取号:
作者:Sarukkai、 Sundar.、Sen、 Sandeep.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fuzzy Probabilities [electronic resource] : New Approach and Applications

0
索取号:
作者:Buckley、 James J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

MEGAFLOW - Numerical Flow Simulation for Aircraft Design [electronic resource] : Results of the second phase of the German CFD initiative MEGAFLOW, presented during its closing symposium at DLR, Braunschweig, Germany, December 10 and 11, 2002

0
索取号:
作者:Kroll、 Norbert.、Fassbender、 Jens K.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Hierarchical Bayesian Optimization Algorithm [electronic resource] : Toward a new Generation of Evolutionary Algorithms

0
索取号:
作者:Pelikan、 Martin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Practice of Intramedullary Locked Nails [electronic resource] : New Developments in Techniques and Applications

0
索取号:
作者:Leung、 Kwok-Sui.、Taglang、 Gilbert.、Schnettler、 Reinhard.、Alt、 Volker.、Haarman、 H. J. T. M.、Seidel、 Hartmut.、Kempf、 Ivan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类